transitive extension

См. также в других словарях:

• Géostatistique transitive — La géostatistique transitive est la branche de la géostatistique qui étudie la variable régionalisée sans hypothèse supplémentaire. Sommaire 1 Notations 2 Covariogramme transitif 2.1 Positivité …   Wikipédia en Français

• foreshorten — transitive verb Date: 1606 1. to shorten by proportionately contracting in the direction of depth so that an illusion of projection or extension in space is obtained 2. to make more compact ; abridge, shorten …   New Collegiate Dictionary

• Mathieu group — Group theory Group theory …   Wikipedia

• Variable régionalisée — La VR comme phénomène physique : topographie de la ville de Binche …   Wikipédia en Français

• Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… …   Wikipedia

• Partially ordered set — The Hasse diagram of the set of all subsets of a three element set {x, y, z}, ordered by inclusion. In mathematics, especially order theory, a partially ordered set (or poset) formalizes and generalizes the intuitive concept of an ordering,… …   Wikipedia

• Glossary of order theory — This is a glossary of some terms used in various branches of mathematics that are related to the fields of order, lattice, and domain theory. Note that there is a structured list of order topics available as well. Other helpful resources might be …   Wikipedia

• LOGIQUES NON CLASSIQUES — La logique formelle «classique» (cf. histoire de la LOGIQUE, LOGIQUE MATHÉMATIQUE, théorie de la DÉMONSTRATION) est une théorie de l’inférence valide qui ne prend pas en considération le contenu sémantique de l’argument. Elle est une logique… …   Encyclopédie Universelle

• logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

• Cosmology — • In our day cosmology is a branch of philosophical study, and therefore excludes from its investigation whatever forms the object of the natural sciences Catholic Encyclopedia. Kevin Knight. 2006. Cosmology     Cosmology …   Catholic encyclopedia

• Forcing (mathematics) — For the use of forcing in recursion theory, see Forcing (recursion theory). In the mathematical discipline of set theory, forcing is a technique invented by Paul Cohen for proving consistency and independence results. It was first used, in 1963,… …   Wikipedia